$\forall$$A$,$B$,$C$:$\mathbb{P}$. ($A$ $\wedge$ ($B$ $\wedge$ $C$)) $\Leftarrow\!\Rightarrow$ (($A$ $\wedge$ $B$) $\wedge$ $C$)